@navbar-height: 32px;
@navbar-default-link-color: #303030;
@navbar-default-color: #303030;
@navbar-default-bg: #ffffff;
@navbar-default-border: #e0e0e0;
@font-family-sans-serif: system-ui, -apple-system, "Segoe UI", Roboto,
    "Helvetica Neue", Arial, "Noto Sans", "Liberation Sans", sans-serif,
    "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";
@font-family-monospace: SFMono-Regular, Menlo, Monaco, Consolas,
    "Liberation Mono", "Courier New", monospace;
